Stichworte: smaller logical problems